DICLIB.COM
Outils linguistiques IA

Tous les outils Abonnement Contactez-nous

Entrez un mot ou une phrase dans n'importe quelle langue 👆

Langue:

Traduction et analyse des mots par intelligence artificielle

Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:

comment le mot est utilisé
fréquence d'utilisation
il est utilisé plus souvent dans le discours oral ou écrit
options de traduction de mots
exemples d'utilisation (plusieurs phrases avec traduction)
étymologie

Qu'est-ce (qui) est system specification - définition

SPECIFICATION LANGUAGE INTEGRATED WITH SUPPORT TOOLS AND AN AUTOMATED THEOREM PROVER

PVS Specification and Verification System

System requirements specification

IEEE 1233; System Requirements Specification

A System Requirements Specification (SyRS) (abbreviated SysRS when need to be distinct from a software requirements specification (SRS)) is a structured collection of information that embodies the requirements of a system.

https://en.wikipedia.org/wiki/System_requirements_specification

Software requirements specification

A SET OF FUNCTIONAL AND NON-FUNCTIONAL REQUIREMENTS THAT A PIECE OF DESIGNED SOFTWARE NEEDS TO FULFIL, MAY INCLUDE A SET OF USE CASES

Requirements specification; IEEE 830; Req spec; Requirements specifications; Software Requirements Specification

A SOFTWARE REQUIREMENTS SPECIFICATION (SRS) is a description of a software system to be developed. It is modeled after business requirements specification (CONOPS).

https://en.wikipedia.org/wiki/Software_requirements_specification

Programming language specification

DOCUMENTATION ARTIFACT THAT DEFINES A PROGRAMMING LANGUAGE

Language specification

In computer programming, a programming language specification (or standard or definition) is a documentation artifact that defines a programming language so that users and implementors can agree on what programs in that language mean. Specifications are typically detailed and formal, and primarily used by implementors, with users referring to them in case of ambiguity; the C++ specification is frequently cited by users, for instance, due to the complexity.

https://en.wikipedia.org/wiki/Programming_language_specification

Wikipédia

Prototype Verification System

The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at the Computer Science Laboratory of SRI International in Menlo Park, California.

PVS is based on a kernel consisting of an extension of Church's theory of types with dependent types, and is fundamentally a classical typed higher-order logic. The base types include uninterpreted types that may be introduced by the user, and built-in types such as the booleans, integers, reals, and the ordinals. Type-constructors include functions, sets, tuples, records, enumerations, and abstract data types. Predicate subtypes and dependent types can be used to introduce constraints; these constrained types may incur proof obligations (called type-correctness conditions or TCCs) during typechecking. PVS specifications are organized into parameterized theories.

The system is implemented in Common Lisp, and is released under the GNU General Public License (GPL).

https://en.wikipedia.org/wiki/Prototype Verification System